plugins = []
subdir('elements')
if not get_option('coretracers').disabled()
  subdir('tracers')
endif
